void main(void) {
int a, b;
if(2*a>=b) {
printf("punto medio %d\n",a);
a=a+1;
}
}